When dealing with vectors along a curve, it is nice to have three basis
vectors (i.e. three mutually perpendicular unit vectors which form a right
handed system) which are adapted to the curve. These are called T^,
N^ and B^, and are collectively called a
Frenet frame. To understand the definitions of
the Frenet frame, first notice that the velocity, v
determines the instantaneous direction of the curve while v and
a determine the instantaneous plane of the curve.
Frenet Frame
The unit tangent vectorT^ is the unit
vector tangent to the curve, i.e. the direction of v.
The unit normal vectorN^ is the unit
vector perpendicular to v in the plane of v and
a on the same side of v as a, i.e. N^
is the unit vector in the direction of proj⊥va.
The unit binormal vectorB^ is the unit
vector perpendicular to T^ and N^ related by the right
hand rule, i.e.
B^=T^×N^
The figures at the right show:
a curve in blue,
the unit tangent vector, T^, in
red,
the unit normal vector, N^, in
cyan and
the unit binormal vector, B^ in
magenta.
In the first figure, use the mouse to rotate the plot until N^
is pointing straight at you. Notice that the curve instantaneously lies in
the plane of T^ and N^.
Now rotate the plot until B^ is pointing straight at you. Notice
that the curve instantaneously bends in the direction of N^.
1
The second figure shows how T^, N^ and B^
change as the point moves along the curve. Notice, T^ is in the
direction of the curve, N^ is in the direction it is turning and
B^ is perpendicular to the plane of the motion.
We first need to justify that B^ defined as T^×N^
is in fact a unit vector. However, since T^ and N^ are
perpendicular unit vectors
∣T^∣=1∣N^∣=1andθ=90∘
Hence
∣B^∣=∣T^×N^∣=∣T^∣∣N^∣sinθ=1⋅1⋅1=1
Recall that ı^, ȷ^ and k^ form a
right handed triplet of mutually perpendicular unit vectors in that they
satisfy:
ı^×ȷ^=k^ȷ^×k^=ı^k^×ı^=ȷ^
where we cyclically rotate ı^, ȷ^ and k^ in
these formulas. Similarly:
T^, N^ and B^ form a right handed triplet of
mutually perpendicular unit vectors in that they satisfy:
T^×N^=B^N^×B^=T^B^×T^=N^
where we cyclically rotate T^, N^ and B^ in these
formulas.
Justification
To see this, use your right hand to see that T^×N^
points along B^. Then use the mouse to rotate the figure and
use your right hand to see where N^×B^ and
B^×T^ point.
INFO: Time for setup and init of GL element no. 1: 9 ms.
Find the unit tangent vector, T^, the unit normal vector
N^, and the unit binormal vector B^ of the circle of
radius R in the xy-plane, parametrized as
r(θ)=(Rcosθ,Rsinθ,0) for general θ and
at θ=4π.
First we find the velocity and its length:
v∣v∣=⟨−Rsinθ,Rcosθ,0⟩=(−Rsinθ)2+(Rcosθ)2+02=R
From these, we calculate the unit tangent vector:
T^=∣v∣v=R1⟨−Rsinθ,Rcosθ,0⟩=⟨−sinθ,cosθ,0⟩
Next, we compute the acceleration and notice that it is perpendicular to the
velocity:
av⋅a=⟨−Rcosθ,−Rsinθ,0⟩=R2sinθcosθ−R2cosθsinθ=0
So the unit normal is the unit vector in the direction of the acceleration.
We compute the length of the acceleration and the unit normal vector:
∣a^∣N^=(−Rcosθ)2+(−Rsinθ)2+02=R=∣a∣a=R1⟨−Rcosθ,−Rsinθ,0⟩=⟨−cosθ,−sinθ,0⟩
Finally, the unit binormal vector is:
B^=T^×N^=∣∣∣∣∣∣ı^−sinθ−cosθȷ^cosθ−sinθk^00∣∣∣∣∣∣=ı^(0)−ȷ^(0)+k^(sin2θ+cos2θ)=⟨0,0,1⟩
The figure shows T^, N^ and B^
moving around the circle. In particular, for θ=4π:
T^N^B^=⟨2−1,21,0⟩=⟨2−1,2−1,0⟩=⟨0,0,1⟩
We check the three vectors are perpendicular by computing their dot products:
T^⋅N^T^⋅B^B^⋅N^=sinθcosθ−cosθsinθ=0=0+0+0=0=0+0+0=0
Find the unit tangent vector, T^, the unit normal vector
N^, and the unit binormal vector B^ of the helix
parametrized as
r(θ)=(4cosθ,4sinθ,3θ)
for general θ and at θ=4π
Hint
Like the circle, the acceleration is again perpendicular to the velocity
which makes it easy to calculate the unit normal vector.
Generally:
T^N^B^=⟨5−4sinθ,54cosθ,53⟩=⟨−cosθ,−sinθ,0⟩=⟨53sinθ,5−3cosθ,54⟩
For θ=4π:
T^N^B^=⟨5−22,522,53⟩=⟨2−1,2−1,0⟩=⟨523,52−3,54⟩
First we find the velocity and its length:
v∣v∣=⟨−4sinθ,4cosθ,3⟩=16sin2θ+16cos2θ+9=5
From these, we calculate the unit tangent vector:
T^=∣v∣v=⟨5−4sinθ,54cosθ,53⟩
Next, we compute the acceleration and check that it is perpendicular to the
velocity:
av⋅a=⟨−4cosθ,−4sinθ,0⟩=16sinθcosθ−16cosθsinθ=0
So the unit normal is the unit vector in the direction of the acceleration.
We compute the length of the acceleration and the unit normal vector:
∣a^∣N^=(−4cosθ)2+(−4sinθ)2+02=4=∣a∣a=⟨−cosθ,−sinθ,0⟩
Finally, the unit binormal vector is:
B^=T^×N^=∣∣∣∣∣∣∣∣ı^5−4sinθ−cosθȷ^54cosθ−sinθk^530∣∣∣∣∣∣∣∣=ı^(53sinθ)−ȷ^(53cosθ)+k^(54sin2θ+54cos2θ)=⟨53sinθ,5−3cosθ,54⟩
The figure shows T^, N^ and B^
moving around the helix. In particular, for θ=4π:
T^N^B^=⟨5−22,522,53⟩=⟨2−1,2−1,0⟩=⟨523,52−3,54⟩
It is easy to check these are 3 mutually perpendicular unit vectors.
We check the three vectors
T^N^B^=⟨5−4sinθ,54cosθ,53⟩=⟨−cosθ,−sinθ,0⟩=⟨53sinθ,5−3cosθ,54⟩
are perpendicular by computing their dot products:
T^⋅N^T^⋅B^B^⋅N^=54sinθcosθ−54cosθsinθ=0=−2512sin2θ−2512cos2θ+2512=0=−53sinθcosθ+53cosθsinθ=0
In the examples of a circle and a helix, the acceleration is perpendicular to
the velocity. So it is easy to find the normal vector.
On the next page, we will find formulas which
help us compute T^, N^ and B^ even if the
acceleration is not perpendicular to the velocity.
Placeholder text:
Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum
Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum
Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum
Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum
Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum Lorem ipsum